High court strikes down federal marriage provision