NYC mayor demands $600M refund on software project