Products of graceful bipartite graphs