Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning