Friedmann–Robertson–Walker metric