texas dmv shuts down for software update