炖猪蹄需要多长时间