How many Supreme Court justices are currently authorized by federal law?