F-Theory, T-Duality on K3 Surfaces and N = 2 Supersymmetric Gauge Theories in Four Dimensions