What qualifies as “active duty” military service?