将一根长12.5米的竹竿插入河底，插入水中的部分比露在水面的长2.5米。河深度是多少米？