Theoretical and experimental study of the electronic structure of tin dioxide