Formal fibers and birational extensions