Corrected code to convert colloquial bus numbers to actual bus numbers in get_coordinates_of_buses() function