Were bonuses tied to VA wait times? Here's what we know