Tackling health professionals' strikes: an essential part of health system strengthening in Kenya.