EFx Budget-Feasible Allocations with High Nash Welfare