Introduction to decoherence theory