Modelling and Design of Quantum Cellular Automata Circuits