If a person does 3 sets of push-ups at 15 repetitions a set, how many total push-ups has that person done?