Seol mar théacs é seo: An introduction to high-frequency finance