A mobile application company wants to implement a backend that can scale to handle large numbers of push notifications during peak times. Which AWS service combination is most appropriate for this scenario?