Degree upper bounds for involutive bases