Google 'ditches contract with US military' after employee revolt