An analysis of the onset of compositional convection in a binary melt solidified from below