Understanding the NHS pension: what do doctors need to know?