SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results