Musharraf’s treason case and the death penalty, explained