Shape-constrained Symbolic Regression -- Improving Extrapolation with Prior Knowledge