Aston Martin DB9 production ends