Nintendo releases GameBoy Micro in the US