What was Pervez Musharraf's 4-point formula for freedom of Kashmir-Nawaz Shraif also agrees with that formula