Market Operation for Reactive Power Ancillary Service: Design and Analysis with GAMS Code