Weighted composition operators on the Dirichlet space: boundedness and spectral properties