programa en php que saca promedio de unas notas