UK economy shrinks 0.1% in May as manufacturing, construction sectors down during month