海螺需要煮多长时间