in Shipbuilding Industry -- DTMiner: A Tool for Decision Making Based on Historical