Birational models of terminal sextic double solids