Modeling Buoyancy-Driven Instability And Transport In Porous Media With Application To Geological Carbon Dioxide Storage