Official: Mourinho appointed United manager