Los tres telescopios robóticos del observatorio de San Pedro Mártir forman parte del proyecto TAOS II para el censo de ocultación estelar