海螺一般要煮多久?