A family of dynamic models for large-eddy simulation