Función PHP para dar formato a un número de teléfono