High-dimensional variable selection for Cox's proportional hazards model