Federal civil servants score hundreds of millions in overtime: Documents