SPARQL Query Containment Under SHI Axioms