Complexity of model checking for reaction systems