Effective dose: a radiation protection quantity