digital infrastructure budget