Waimo rolls out 3,900 Robotaxis to address software problems