Kernel Representation Theorem for Semiclassical Pseudodifferential Operators