Modeling Dendritic Solidification Under Melt Convection Using Lattice Boltzmann And Cellular Automaton Methods