Algorithms can aid price collusion, even if no humans actually talk to each other, US enforcers say