An Introduction to Patent Mining