NBC: Amazon Web Services CEO Adam Selipsky to step down