Improving Neural-based Classification with Logical Background Knowledge