Kraft's Inequality Characterises Prefix-Free Codes