Barack Obama has shrunk the US federal workforce more than Ronald Reagan