An analysis of National Football League coaching trees and the network they comprise