which is bigger lake michigan or lake superior