Friedmann–Robertson–Walker model