The maximum size of a partial 3-spread in a finite vector space over GF(2)