Theory and pyroelectric characterization of polar inclusion compounds of perhydrotriphenylene