Indonesia boosts security after girls beheaded