sed と awk はどちらの方が実行速度で有利ですか？