A guessing game in PHP