Logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification