The mathematical universe