How many DB10's were produced?