implemented updateUser(User) in DatabaseManager.java