Should the federal minimum wage be hiked to $9 an hour from $7.25?