A Stratified Turbulence Formulation and a Turbulent Inflow Boundary Condition for Large-Eddy Simulation of Complex Terrain Winds