Characteristic matrix of covering and its application to boolean matrix decomposition and axiomatization