Three looks at instantons in F-theory — New insights from anomaly inflow, string junctions and heterotic duality