Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning