Analytic and simulation models predicting positive genetic correlations between traits linked by trade-offs