Semi-ring based CSPs and valued CSPs: Basic properties and com-parison