What is MySQL? An introduction