Prince Philip retires: 65 years of service by numbers