the game published by rockstar games on may 12 , 2003 is based on what real life city ?
miami