Theoretical study of Tin (IV) oxide (SnO2) for applications in gas sensors : study of doping with halogen