Are Alice's Birthday and Mai Mai Miracle both animated films based on books?