Leibniz: An Introduction