Crystal structure, spin polarization, solid-state electrochemistry, and high n-type carrier mobility of a paramagnetic semiconductor: Vanadyl tetrakis(thiadiazole)porphyrazine