implemented getUser(int) in DatabaseManager.java