Microsoft kills off Internet Explorer after 25 years