The Global Convergence Analysis of the Bat Algorithm Using a Markovian Framework and Dynamical System Theory