Government employees to get mid-year bonus beginning May 15