The modularity of the Barth-Nieto quintic and its relatives