海螺应该煮多久?