Peace out, Ruben: Phillies GM Ruben Amaro Jr. is officially out