Retrieves the ID of a user given the user’s email address.
select * from tdis_get_user_id_by_email('paul@csr.utexas.edu');