The LME project: legislative metadata based on semantic formal models