Junior doctors’ industrial action: important information