Computads for Weak ω-Categories as an Inductive Type