岩石层沟槽开挖高效率施工方法