Complexity of Model Checking for Reaction Systems