An introduction to the fundamentals of vacuum technology