4-dimensional topology and gauge theory