During their survey of different birth control methods (including surgical methods), Barbara and Evan learned that vasectomies are highly effective and permanent, but they are not immediately effective. Barbara was surprised to learn that couples must use alternative birth control for at least how long after the operation?