Microsoft says it will keep working with the military despite employee revolt