Efficient Biclique Counting in Large Bipartite Graphs | Synapse