2020 defense budget passes Senate appropriations, but long way to go