A Combined First-Principles and Experimental Investigation of the Li7P3S11 Superionic Conductor