Efficient circuit implementation for coined quantum walks on binary trees and application to reinforcement learning.