How Gsα activates adenylyl cyclase