Scalable Multi-agent Covering Option Discovery based on Kronecker Graphs