Capital income taxation and resource allocation