An Introduction to Totally Disconnected Locally Compact Groups and Their Finiteness Conditions Book chapter (August 2023)