ProLB: A lattice Boltzmann solver of large-eddy simulation for atmospheric boundary layer flows