Friedmann–Lemaître–Robertson–Walker metric