Direct simulation and regularization modeling of turbulent thermal convection