Bäcklund transformations for the Ernst equation