Positive line bundles on arithmetic surfaces