Boxing legend Manny Pacquiao formally announces retirement.