Massey products, nilpotent completions and their application to 4-dimensional topology