Instantons in type IIB and F-theory