Bimetric theory