Philadelphia sets record on overtime spending