Mass formula for Kerr black holes