What is HTML and how can one use it?