Kralj Matjaž, pravljica