Michael Phelps officially retires from swimming