Market attention and Bitcoin price modeling: theory, estimation and option pricing