Wall-layer models for large-eddy simulations