Porsche 917 K expected to sell in excess of $13 million at auction