Introduction to High-Frequency Finance