Michael was based on one of the people working over at daZ, while Victoria was based on a professional model whose face and body they scanned and subsequently modified. I don't know what software they used, but it wouldn't surprise me if they used Maya.