K3 Fibrations and heterotic type II string duality