Kenya doctors end three-month strike after deal with government