Ritchie Bros. sells US$500 million of equipment through Mark