A former mining tycoon who led a mafia-style crime gang that ran casinos and killed rivals has been executed along with four of the gang’s members, a court in central China said.