Metric ultraproducts of simple groups