Atomic clocks based on coherent population trapping: basic theoretical models and frequency stability