Soundness and Completeness of SPARQL Query Containment Solver SpeCS