Using a lag-balance property to tighten tardiness bounds for global EDF