An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability