France deploys 10,000 troops after Charlie Hebdo attack