Fundamentals of Kauffman bracket skein modules