Actualización en los modelos

Se actualizan las especificaciones y los modelos.
Modificación CheckUsername

Se modifica el método checkUsername de la clase UsersController