Theory of strong-field atomic ionizations