Channel models, favorable propagation and multistage linear detection in cell-free massive MIMO