Rayleigh-Benard convection in a hard disk system