An introduction to the metaphysics of technology