A deterministic strongly polynomial algorithm for matrix scaling and approximate permanents