My kitchen/diner/hallway are all tiled with the same textured tiles. It's a large area and there is dirt stuck in the tile crevices which I can only get out with a scrubbing brush. 
Could anyone please recommend the best mop for getting these clean? I'm currently using an old Addis rag-style mop and it's just spreading the dirt around a bit.