Mumbai gunman given death penalty, to be hanged