France mobilizes 10,000 troops at home after Paris shootings