Classifying PL 4-manifolds via crystallizations: results and open problems