The Mid-Infrared Instrument for the James Webb Space Telescope