Gravar-mail: Testing the proportional hazards assumption in case-cohort analysis