France boosts military budget to combat terrorism