Linear forms in logarithms: An introduction