A double-auction artificial market with time-irregularly spaced orders