Mathematical Properties of the Banzhaf Power Index