Multi-agent Covering Option Discovery based on Kronecker Product of Factor Graphs