Symbolic powers of cover ideals of graphs and Koszul property