Theoretical study on the electronic properties and stabilities of low-index surfaces of WC polymorphs